Stable embeddedness and NIP
نویسنده
چکیده
We give some sufficient conditions for a predicate P in a complete theory T to be “stably embedded”. Let P be P with its “induced ∅definable structure”. The conditions are that P (or rather its theory) is “rosy”, P has NIP in T and that P is stably 1-embedded in T . This generalizes a recent result of Hasson and Onshuus [6] which deals with the case where P is o-minimal in T . Our proofs make use of the theory of strict nonforking and weight in NIP theories ([3], [10]).
منابع مشابه
Type decomposition in NIP theories
A first order theory is NIP if all definable families of subsets have finite VCdimension. We provide a justification for the intuition that NIP structures should be a combination of stable and order-like components. More precisely, we prove that any type in an NIP theory can be decomposed into a stable part (a generically stable partial type) and an order-like quotient.
متن کاملThe Impact of Job and Organizational Embeddedness on Turnover Intention of Education Teachers: The Moderating Role of Career Stage
The purpose of this study is to investigate the relationship between job embeddedness and organizational embeddedness on turnover intention with regard to the moderating role of career stage. This research is an applied one in terms of purpose and a descriptive survey research based on data gathering method. The statistical population of the study was the first course school teachers of 22 dist...
متن کاملOn ω-categorical groups and rings with NIP
We show that ω-categorical rings with NIP are nilpotent-by-finite. We prove that an ω-categorical group with NIP and fsg is nilpotent-by-finite. We also notice that an ω-categorical group with at least one strongly regular type is abelian. Moreover, we get that each ω-categorical, characteristically simple p-group with NIP has an infinite, definable abelian subgroup. Assuming additionally the e...
متن کاملAdding linear orders
We address the following question: Can we expand an NIP theory by adding a linear order such that the expansion is still NIP? Easily, if acl(A)=A for all A, then this is true. Otherwise, we give counterexamples. More precisely, there is a totally categorical theory for which every expansion by a linear order has IP. There is also an ω-stable NDOP theory for which every expansion by a linear ord...
متن کاملWeight and Measure in NIP Theories
We initiate an account of Shelah’s notion of “strong dependence” in terms of generically stable measures, proving a measure analogue (for NIP theories) of the fact that a stable theory T is “strongly dependent” if and only if all (finitary) types have finite weight.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 76 شماره
صفحات -
تاریخ انتشار 2011